TR Applications of Linear Logic to Computation An Overview
نویسنده
چکیده
This paper is an overview of existing applications of Linear Logic LL to issues of computation After a substantial introduction to LL it discusses the implications of LL to functional programming logic programming concurrent and object oriented programming and some other applications of LL like semantics of negation in LP non monotonic issues in AI planning etc Although the overview covers pretty much the state of the art in this area by necessity many of the works are only mentioned and referenced but not discussed in any considerable detail The paper does not presuppose any previous exposition to LL and is addressed more to computer scientists probably with a theoretical inclination than to logicians The paper contains over references of which some are about applications of LL
منابع مشابه
An Overview of Linear Logic Programming
Logic programming can be given a foundation in sequent calculus, viewing computation as the process of building a cut-free sequent proof from the bottom-up. Earliest accounts of logic programming were based in classical logic and then later in intuitionistic logic. The use of linear logic to design new logic programming languages was inevitable given that it allows for more dynamics in the way ...
متن کاملApplications of Linear Logic to Computation: An Overview
This paper is an overview of existing applications of Linear Logic (LL) to issues of computation. After a substantial introduction to LL, it discusses the implications of LL to functional programming, logic programming, concurrent and object-oriented programming and some other applications of LL, like semantics of negation in LP, non-monotonic issues in AI planning, etc. Although the overview c...
متن کاملA Brief Guide to Linear Logic
An overview of linear logic is given, including an extensive bibliography and a simple example of the close relationship between linear logic and computation. 1 Overview Linear logic, introduced by Girard 45], is a reenement of classical logic. Linear logic is sometimes described as resource sensitive because it provides an intrinsic and natural accounting of resources. This is indicated by the...
متن کاملA Comprehensive Review of Membrane Distillation and Osmotic Distillation in Agro-Food Applications
Membrane distillation (MD) and osmotic distillation (OD) are emerging athermal processing techniques of great interest in agro-food production where the most part of products is sensitive to thermal treatments. With respect to conventional methods, MD and OD are competitive alternatives, able to work in an environmental-friendly and cost-efficient way, for preserving the nutritional and sensori...
متن کاملAn Overview of Nonlinear Spectral Unmixing Methods in the Processing of Hyperspectral Data
The hyperspectral imagery provides images in hundreds of spectral bands within different wavelength regions. This technology has increasingly applied in different fields of earth sciences, such as minerals exploration, environmental monitoring, agriculture, urban science, and planetary remote sensing. However, despite the ability of these data to detect surface features, the measured spectrum i...
متن کامل